Spatial Hardware and Software

Hardware and Software Systems

Logical errors in finite-state concurrent systems such as sequential circuit designs and communication protocols are an important problem for computer scientists. They can delay getting a new product on the market or cause the failure of some critical device that is already in use. My research group has developed a verification method called temporal logic model checking for this class of syste...

Interfacing Hardware and Software

The paper treats the problem of automatic generation of communication interfaces between hardware devices such as FPGAs and ASICs and software programmable devices such as microprocessors In we introduced an object oriented approach to interface generation starting from a coarse grain process graph speci cation level to the nal device dependent implementation Here we present generic templates o...

Affordable C2 Hardware and Software

Joint Vision 2010 describes an approach about joint warfare of the future, and it depends on and highlights the contributions of air power. Accordingly, the Air Force’s vision of Global Engagement flows from Joint Vision 2010. The Air Force’s Strategic Plan outlines the core competencies that are necessary for Global Engagement. The capability for attaining the desired capabilities and goals of...

Bluetooth Software and Hardware Development

Bluetooth is a new wireless data communications technology due to reach consumer markets later this year. This thesis presents the work done in using open-source protocol stacks to write Bluetooth-enabled applications. The development of a client-server software program used to study the effect of interference from a wireless local area network is described. The results found are significantly ...

Hardware and Software Data Security